Nuprl Definition : Rnone? 11,40
Rnone?(x1)
== es_realizer_ind(x1;
== es_realizer_ind(tt;
== es_realizer_ind(left,right,rec1,rec2.ff;
== es_realizer_ind(loc,T,x,v.ff;
== es_realizer_ind(loc,T,x,L.ff;
== es_realizer_ind(lnk,tag,L.ff;
== es_realizer_ind(loc,ds,knd,T,x,f.ff;
== es_realizer_ind(ds,knd,T,l,dt,g.ff;
== es_realizer_ind(loc,ds,a,p,P.ff;
== es_realizer_ind(loc,k,L.ff;
== es_realizer_ind(loc,k,L.ff;
== es_realizer_ind(loc,x,L.ff) 
latex

Definitionses realizer ind, tt, ff
FDL editor aliasesRnone?

origin